package il.ac.technion.cs236700.utils.annotations;

import java.lang.annotation.ElementType;
import java.lang.annotation.Target;

@uPatternDescription
(Title="Immutable",Description="Class with several instance " +
		"fields, which are assigned exactly"+
		"once,during instance construction.")
@Target(ElementType.TYPE)
public @interface Immutable {
	String[] immutableFields() default {}; 
}
